منابع مشابه
Verification of predictions.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected].. American Association for the Advancement of Science is co...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولExperimental Verification of Time-dependent Accumulation Predictions in Congested Traffic
This paper shows, with experimental traffic data from a 4-mile long congested road, that traffic delays and vehicle accumulations between any two generic observers located inside the road section can be predicted quite accurately from the traffic counts measured at the extremes of the section. Predictions can be made with a streamlined version of the kinematic wave theory that does not rely on ...
متن کاملDi↵erentially Private Verification of Predictions from Synthetic Data
Di↵erentially Private Verification of Predictions from Synthetic Data by Haoyang Yu Program in Statistical and Economic Modeling Duke University
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1884
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.ns-4.98.540